
#ifdef PRINTK_H
#define PRINTK_H
int printk(const char *fmt, ...);
int vsprintf(char *buf, const char *fmt, va_list args);
#endif
